closed subcomplex

闭子复体